1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
/*! Contexts for creating, normalizing, and type-checking `isotope` terms */ use crate::*; use hashers::null::PassThroughHasher; use indexmap::IndexMap; pub mod cons; pub mod eq; pub mod eval; pub mod subst; pub mod ty; /// A standard typing context pub type StandardCtx = MapTyCtx<DisjointSetCtx>;